Efficient mode enumeration of compositional hybrid systems
نویسندگان
چکیده
منابع مشابه
Efficient Mode Enumeration of Compositional Hybrid Systems
A hyperplane arrangement is a polyhedral cell complex where the relative position of each cell of the arrangement and the composing hyperplanes are summarized by a sign vector computable in polynomial time. This tool from computational geometry enables the development of a fast and efficient algorithm that translates the composition of hybrid systems into a piecewise affine model. The tool prov...
متن کاملCompositional and Uniform Modelling of Hybrid Systems
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely composing hybrid systems. Since hybrid systems are considered, different time indices occur, and modularity calls for considering “time” as local to each module, this is what is called multiform time. The proposed frame...
متن کاملLogic and Compositional Verification of Hybrid Systems
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physical-chemical process control, and biomedical devices. Hybrid systems analysis studies how we can build computerised controllers for physical systems which are guarante...
متن کاملCompositional Modelling of Stochastic Hybrid Systems
ion, 41active actions/transitionsfor labelled transition systems, 21active transition, 54active-active synchronization, 26Air Traffic Management (ATM), 127 bisimilar locations, 114bisimulationfor CFSJSs, 104for CPDPs, 106for FTSs, 104for internally scheduled CPDPs,111for NTSs, 105for TMSs, 103blocking interaction, 19, 20Borel σ-algebra...
متن کاملCompositional Abstractions of Hybrid Control Systems
Abstraction is a natural way to hierarchically decompse the analysis and design of hybrid systems. Given a hybrid control system and some desired properties, one extracts and abstracted system while preserving the properties of interest. Abstractions of purely discrete systems is a mature area, whereas abstractions of continuous systems is a recent activity. In this paper we present a framework...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Control
سال: 2010
ISSN: 0020-7179,1366-5820
DOI: 10.1080/00207170903159285